use mpost to generate statecharts