False Paths Elimination in Statistical Static Timing Analysis