CBMC Email Whitelist Instructions