Implement never reduced rules resolving (-m)