change labelprop to psuedocode