Add failing  tests
The test was wrong, not the code.  Fix prop_infer5