Shaded area problems, transitive substitution fix (avoid relating arcs of non-congruent circles)