Added assertions and Exceptions to Interpreter