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