log4j added
commended code, cached disabled and clean up
corrections made to junit tests
cache for contract types added
thrown exception for redefinition on postcondition using returns changed