Fix silly bugs: now runs at least one example
Small fixes:

* Init BIC correctly
* Init IAWalker correctly
* Check for loop termination in main loop
Fix: check arguments when entering a call