Add integration test for negated quantifiers in TPTP output for tptp_to_ladr.