Fixing WF err. confl as signal. ignore learned neus in memaps.
fixing WF err. deducer based on orig trail.
fixing WF err. recoding reverse.