{"ast_node_type":"import","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
    // of the RPITITs associated with the same body. This is because checking
    // for RPITITs, we should install predicates that allow us to project all
    // the item bounds of RPITITs often involves nested RPITITs having to prove