Over-constraints detection and resolution in geometric equation systems. (September 2017)