Processes Stuck in Ready to Evaluate Pre or Post-Condition