Manual fixup for order of term/variable in free/distinct variable constraint. Perhaps jh2gh will do this some day, but not now.
Manual fixup for order of term/variable in free/distinct variable constraint.
Perhaps jh2gh will do this some day, but not now.

raphlinus/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert