heapify the initial query with ~depth:0
heapify the initial query with ~depth:0

I'm unsure about that, but seems that, if q_env is not full of dummy,
terms in there are lifted twice if ~depth is not 0

LPCIC/elpi