CoRN.tactics.AlgReflection