Dynamic skipping and blocking, dead path elimination for cyclic workflows, and a local semantics for inclusive gateways