fix some bugs in pruning function and complete almost part of 'linear_2D_PS'
check whether there exists a intersection in I^+ and I^-
This program is almost finished except for some bugs.