Tactic based on lia and autorewrite to solve location equality

Merged Rodolphe Lepigre requested to merge ci/loc_ring into master

Merge request reports