Taddeus Kroes 0c538f2ee3 Started implementing node locations + some work on desugaring 12 éve
..
array_init.cvc 0c538f2ee3 Started implementing node locations + some work on desugaring 12 éve
test.cvc 0c538f2ee3 Started implementing node locations + some work on desugaring 12 éve
var_init.cvc 0c538f2ee3 Started implementing node locations + some work on desugaring 12 éve