Rename ExCheck.Statement.check to ExCheck.check