sanguis doesn't need the modified statechart version anymore