Bug fixed: pis inside sigma were considered at the wrong depth.
Bug fixed: pis inside sigma were considered at the wrong depth.

NOTE: there are probably two more places where depth is used in place of
depth+lcs. If this turns out to be the case, then maybe the two should
be collapsed in just one variable.

LPCIC/elpi