synchronized evaluator invariant cache & small fix in codegen
synchronized evaluator invariant cache & small fix in codegen

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless