Import path
import semmle.code.csharp.controlflow.internal.Splittingpredicate condPropagateExpr(AstNode parent, ConditionalCompletion parentCompletion, AstNode child, ConditionalCompletion childCompletion)import semmle.code.csharp.controlflow.internal.Splittingpredicate condPropagateExpr(AstNode parent, ConditionalCompletion parentCompletion, AstNode child, ConditionalCompletion childCompletion)