Added heap constraint in lazy exection