Moved plprops.pl from rtchecks to assertions package