Change subnode-properties.lus so it again requires subnode properties
Fix bracket encoding bug in jlustre2kind
Yices 2