fix(sem): avoid no-return false positives (#1452)

fix(sem): avoid no-return false positives (#1452) #1025