Removed free variables in equations which have no free variables.