An ugly bug with the norm extraction which made amen_sum to be random-kicked
seems to be fixed (as well as for amen_solve2)