Generalize findFirstEffectiveSubstatement()