eliminate a variable with equality constraints when possible in FourierMotzkin