Local variables created by mk_local_for_expr are also included in locals
Local variables created by mk_local_for_expr are also included in locals

tinelli/kind2,tinelli/kind2,kind2-mc/kind2,tinelli/kind2,tinelli/kind2,tinelli/kind2,daniel-larraz/kind2,tinelli/kind2