Added contract as an extra argument to mkDtLib. This will help with the static analysis.