predicates, loading from rosparam, computing collisions etc