simplification bug fixed (reloc_locus revamped)