Included states and transitions in the post-processors