original: checker accepts [expected: accept] ok   | CERTIFICATE VALID: Psi0 + Q <= 6 on all patterns; hence C_3(ABB) <= 6, and (L) gives equality.
one_coefficient_plus_1: checker REJECTS [expected: reject] ok   | AssertionError
all_coefficients_doubled: checker REJECTS [expected: reject] ok   | AssertionError
all_coefficients_negated: checker REJECTS [expected: reject] ok   | AssertionError
denominator_doubled: checker REJECTS [expected: reject] ok   | AssertionError
REJECTION TESTS PASSED
