Runtime check of state maps and initial state implementing the
transitions interface