Pull request #499 by skazzyy

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