Run dialyzer on the test suites (it fails, of course)
Fix unitialized value in test_case observed_status for tc_proper_model behaviour
Prefix all tc_proper_* types; add generate_proper_model/3
Fleshed out creating multiple models for a single behaviour
Merge pull request #37 from jaynel/proper

Run dialyzer on the test suites (it fails, of course)