use `simultaneous=True` to delay evaluation in is_constant