Code2Inv learns a neural policy for each benchmark while learning its invariant.
The neural policy learned depends on the graph structure of the program including
components like variables, constants, control flow, data flow and others.
As such, this learned neural policy can be used to accelerate the search for
invariants in other similar programs.