Added support for precondition/postcondition for abstract classes and interfaces.
Added test cases.