This closes #29 (closed). ISL sets in implemented_domains are no longer loaded in the kernel __call__ path.
__call__