add expected results
add expected results
add notes on nbds list example
add notes on daikon incorrect invariants.