famaMac: states -> tests -> simulation