{"ast_node_type":"import","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
    // RPITITs are allowed to use the implied predicates of the method that
    // defines them. This is because we want code like: