Detect safely skippable control flow in APSPattern.