Merge pull request #174 from AdrienChampion/invGen

Inv gen
Map and guards to instantiate vars in called nodes
Merge pull request #176 from chsticksel/inv-gen

Map and guards to instantiate vars in called nodes
Merge remote-tracking branch 'upstream/inv-gen' into invGen