Added perm serach in SSA-destruction. changed all usages of is_Perm.
drwxr-xr-x - ir