Twenty20 SemiFinal: What happens in case of rain?

Here are the 'ICC Twenty20 Playing Conditions' which give the rules in case a semi-final of the Twenty20 World Cup is abandoned due to rain.

In case of No result in the Semi Final – the team with the most wins in both the Group stage and Super Eight Series matches shall be placed in the higher position.
If still equal the team with the higher net run rate in all matches (in both Group stage and Super Eight Series matches) shall proceed to the Final.
If following the net run rate calculation above there are teams which are still equal, then the team with the higher number of wickets taken per balls bowled in all matches (in both Group and Super Eight Series matches) in which results are achieved, shall proceed to the Final.
If still equal, the finalist shall be determined by drawing lots.

So Pakistan will go through to the semi-final in case the semi-final is abandoned. (NZ has a total of 3 wins so far but Pakistan has 4)