eliminateRedundance added again ( used in Triangel)