False Path Elimination in Quasi-Static Scheduling