Internal constraint used to rewrite other constraints.
Description
This is the simple, uni-directional constraint that is used by the
solver to rewrite all other constraints. It is not meant for use
inside a program, but it shows up among the delayed goals.