Is Bounded Waiting satisfied for this 2 process Solution?