bishop: Check if every non-initial state corresponds to a task
bishop: Check if every non-initial state corresponds to a task

sdalton1/legion,chuckatkins/legion,chuckatkins/legion,sdalton1/legion,StanfordLegion/legion,chuckatkins/legion,chuckatkins/legion,chuckatkins/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,sdalton1/legion,StanfordLegion/legion,sdalton1/legion,StanfordLegion/legion,sdalton1/legion,StanfordLegion/legion,StanfordLegion/legion,chuckatkins/legion,sdalton1/legion,chuckatkins/legion