{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
        // - None: We haven't computed anything about this argument yet
        // We use a double option at position i in this vec to represent:
        // - Some(None): This argument definitely doesn't participate in a cycle