Use Contracts instead of Trace