Add Lustre oracles to all examples of the test directory