Return statement/throw clause now present on all rules that can fail.