test/bfs-spanning-tree/bfs_spanning_tree_oracle.lus

test/bfs-spanning-tree/fig5.1-noinit_oracle.lus

test/bfs-spanning-tree/oracle_lemma5_16.lus

test/coloring/coloring_oracle.lus

test/coloring/oracle_lemma3_14.lus

test/coloring/oracle_theorem3_17.lus

test/dijkstra-ring/dijkstra_ring.lus

test/dijkstra-ring/oracle_lemma6_28.lus

test/dijkstra-ring/oracle_theorem6_29.lus

test/lustre/round.lus

test/unison/oracle_lemma4_10.lus

test/unison/oracle_theorem4_11.lus

test/unison/unison_oracle.lus