added eliminateKownVariables