Procedures now have better SexpToString results