added some tests directly trasnlated from storm on the compiler