new predicate for putting red box in marker visualization for robot poses
added 'successful_instances_of_given_goal' predicate for making demo queries more readable and shorter