Basic functionality done. Need to generalize the propcheck interface to take any nbr of args.
Merge branch 'master' of https://github.com/sbgj/ctest