Add a new property "identifiers", returning a set of all identifiers
used in the equations (except for variables defined in the equations).