added contract checker