Fix: variables contraint to a value at declaration were buggy (close #2)

cf example/Bug/freevar.lut node ko
Status Job ID Name Coverage
  Build
passed #86573
build

00:05:16

 
  Test
passed #86574
allowed to fail
test_opam_test

00:04:26