Syntactical corrections to Smv and Monpoly translator