wrote testcase reproducing assertion eval bug: test_constraint_tuple_equal_expression
not fixed yet