include "N.lut" include "incr.lut" node use_run() returns(x:int) = exist a,b : int in run a := N() in run b := incr(a) in run x := incr(b) in loop true