Contracts error when calling a node containing an automaton with local variables declaration
Minimal example:
node a() returns (o:bool)
let
automaton
state A
var cpt : int;
do
cpt = 1 fby (cpt + 1);
o = true
until cpt >= 50 then A
end
tel
node test() returns (o:bool)
let
o = a()
tel
Running heptc a.ept
returns
Contracts: subst for ident cpt not found