sl/adt_op_replace: make crHeapsCovered() less strict
sl/fixed_point: repeat live variable analysis

... if any instruction was removed in the last iteration