31: Fix Exceptions during some tests 

Closes #31

Change-Id: I39bff8477ab6269fad340d7dcc1877ea5c7cd65a
Task-Url: https://github.com/LorenzoBettini/xsemantics/issues/issue/31