Pull request #499

Fix issue #499 where Assume cannot be used in tests when Thoeries also
exist in test class.