Avoid nonconfluence in hgeometry-combinatorial
The existing code relied on non-confluent behaviour in the constraint solver, which caused a problem when removing derived constraints GHC MR !5899. This comment explains the situation, and why it makes sense to reject the original program.
Edited by sheaf