ode-nonlin/AllenCahn is now polished