Fixed Ermine.Inference.Witness, 2 modules remain