This member is added by an implicit conversion from TptpProofParser to
any2stringadd[TptpProofParser] performed by method any2stringadd in scala.Predef.
(Changed in version 2.9.0) The p0 call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.