Make composer a little smarter.

Checks if the start state of a workload is ever transitioned back
to after the workload has started. This corresponds to whether the
start state exists on the RHS of the FSM's transition table.