Adds $statechart and $state specs.