| 1 | .once |
| 2 | |
| 3 | // Facts and Relations (Inputs) |
| 4 | // ============================ |
| 5 | |
| 6 | .type Function <: symbol |
| 7 | .type Statement <: number |
| 8 | |
| 9 | // True if there is an edge from s1 to s2 in the control flow graph of f. |
| 10 | .decl cf_edge(f:Function, s1:Statement, s2:Statement) |
| 11 | .input cf_edge |