change OpenSallyPort to PassSallyPort and add pre and post condition comments to it