fix test0 expected_pseudo.txt
flag examples without ensures as successes

closes gh-16