Added code contracts for log libary