Bug fixed: Args where entering heap terms
Bug fixed: Args where entering heap terms

The patch is in one line that is well known to
break invariants. I am not sure if the line is
correct and if something similar must be applied
in the previous case. To be reviewed.

LPCIC/elpi