fml preprocessing: keep the first fml (non-undef/poison) rather than the last one
MODIFY
tools/transform.cpp
tools/transform.cpp
@@ -215,7 +215,7 @@ static expr preprocess(Transform &t, const set<expr> &qvars,
continue;
// keep 'var' variables for counterexample printing
- instances2[move(newexpr)] = v && var == nums[i];
+ instances2.try_emplace(move(newexpr), v && var == nums[i]);
}
}
instances = move(instances2);

fml preprocessing: keep the first fml (non-undef/poison) rather than the last one