Draft the KAST expression

The nodes you identified in the previous step are: IfStmt, condition, and BinaryExpr. Put this together into the KAST expression to produce:

// IfStmt / condition::BinaryExpr [ @operation = CSCONST_ASSIGN ]

This KAST expression will search the AST for if statements that contain an assignment in the condition statement.

Now that we have a KAST expression, our next step is testing the expression.