Equations always true and no answer (consistent and inconsistent)

[Temez1]

How to teach/handle these?

See https://en.wikipedia.org/wiki/Consistent_and_inconsistent_equations

Currently avoided cases can be found by searching TODO#67 from the codebase.