import semmle.python.controlflow.internal.AstNodeImpl
import ControlFlow::Consistency