Add Praspel representation for \old(…).