change related to equals and is_constant