[relate] add result interrupt check to no_turns_xxx predicates