sl/adt_op_replace: skip insn in operations in crResolveLoc()
sl/adt_op_replace: basic implementation of insertEmpChk()
sl/fixed_point: implement mergeEqLocations()