```\n// Check that the callTo is a contract\n// NOTE: This cannot happen on the sending chain (different chain\n// contexts), so a user could mistakenly create a transfer that must be\n// cancelled if this is incorrect\nrequire(invariantData.callTo == address(0) || Address.isContract(invariantData.callTo), "#P:031");\n```\n