Split off programs for Deadlock and Peterson example; added heuristic to step last stepped process if local