Stricter target_follows_kernelizable_pattern