MAJOR BUG FIXED IN CLAUSIFY (again...):
MAJOR BUG FIXED IN CLAUSIFY (again...):

This was introduced in the last commit with a similar
message. A typo was lifting everything in a larger context.

LPCIC/elpi