Added simplification of symbolicInt expressions