change how distance to goal is computed (only incr for inferences)
change how distance to goal is computed (only incr for inferences)

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition