analysis: remove default arguments to checkInter_rd5_6 and checkInter_rd0_4