How about `const Stmt& stmtAssignsAToTmp, const BinaryOperator* binOpAssignsBToA, const BinaryOperator* binOpAssignsTmpToB`? Hope this can inspire you with better ideas.