Update TramplinedParser's API per Tom's instruction