if explicit equality constraints are used (using the == operator), the redundant constraints are not counted anymore when computing degrees of freedom (we use the rank)