Modified copy of milner_mycroft that shows the bug.
Modified copy of milner_mycroft that shows the bug.

Look at "C = A --> B input/output" pairs. The output is clearly wrong.
This is clearly a nasty bug in unification.

LPCIC/elpi