Fixing bugs #1039: Hypotheses don't respect Barendregt convention
and #3204: Failure of hygiene condition.

It was sufficient to tweak a flag in the constr externalization...