A static analyser for P#