+ locals.TraverseStmt(const_cast<Stmt *>(cast<Stmt>(rhs)));
+
+ lhsUsedInCond = DeclsInCond.find(lhs) != DeclsInCond.end();
+ if (lhsUsedInCond) {
+ for (auto & d : locals.RetrieveVars()) {
+ if (DeclToMCVar.count(d) > 0)
+ mcState.insert(DeclToMCVar[d]);
+ else if (DeclsRead.find(d) != DeclsRead.end())
+ mcState.insert(encode(d->getName().str()));
+ }
+ }
+ if (rhsRead) {
+ for (auto & d : locals_rhs.RetrieveVars()) {