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

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

00:05:16

 
  Test
passed test_opam_test #86574

00:04:26