Draft PR for Rule 4-1-3, no undefined/unspecified behavior

Draft PR for Rule 4-1-3, no undefined/unspecified behavior #3733