CHG: changed annotation for pre/post conditions; now works with methods
within the test class or it's parents. Added test