Test: add an example that triggers the problem

examples/Bug/freevar.lut

+-- ok works fine, but not ko:
+
+ node ko () returns (b: int [0; 0]; a: int) = a = b 
+ node ok () returns (a: int [0; 0]; b: int) = a = b 
\ No newline at end of file