Interpeter does now work again
post conditions are now evaluated correct again