Final literal changes

- exit nodes of subgraphs are now removed when adding literals to them
- Small change to if1 version of call example