some inference tests
Merge pull request #126 from regehr/infer-tests

testcases for inference