Moved WellformednessManager to systemtools.