[dev] in heuristics, avoid penalizing inductive trails too much
[dev] in heuristics, avoid penalizing inductive trails too much

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