don't discard defined constraints in BinaryBoolPred
don't discard defined constraints in BinaryBoolPred

rutgers-apl/alive-loops,rutgers-apl/alive-loops,nunoplopes/alive,chubbymaggie/alive,chubbymaggie/alive,nunoplopes/alive,chubbymaggie/alive,nunoplopes/alive,rutgers-apl/alive-loops,nunoplopes/alive,chubbymaggie/alive,rutgers-apl/alive-loops