added more translated storm tests, fixed some problems in the compiler