moved from specs2 to scalatest, added first astgenerator for valid state machines