simpify gives Imaginary coordinates are not permitted. with evaluate(False) Issue with evaluate(False)…

simpify gives Imaginary coordinates are not permitted. with evaluate(False) Issue with evaluate(False)…: a task in Lego-RL-SWE-Bench-Verified (Harbor dataset). However, it works without with evaluate(False) . Both of following commands work python sp.S('Point2D(Integer(1),Integer(2))')…

The task

However, it works without `with evaluate(False)`. Both of following commands work ```python sp.S('Point2D(Integer(1),Integer(2))') sp.S('Point2D(Integer(1),Integer(2))', evaluate=False) ```

Part of Lego-X/Lego-RL-SWE-Bench-Verified.