gras: helper function for high prio hack
Merge branch 'master' into property_interface
gras: property tweaks and c++ unit tests