fixing the NumLit and the testers