Implementing and testing equality constraints reduction