loc_ins_effect (Loc loc) (Before (Loc iloc)) ne =
    Loc $ ins_effect_before loc iloc ne
loc_ins_effect (Loc loc) (Before (Loc iloc)) ne =
    Loc $ ins_effect_before loc iloc ne
loc_ins_effect (Loc loc) (Before (Loc iloc)) ne =
    Loc $ ins_effect_before loc iloc ne