Fix get_op in the case of an unambiguous record selector (#13132)