refactored findGeneralGLFixpoint and added makeEquivs convenience function.