Contract typechecking passes simple test