import cpp import semmle.code.cpp.controlflow.Guards from GuardCondition guard select guard