Need less strict type checking AIP Logic conditionals

[jpa]

I am getting this error. I know that my types in the conditional are fine but due to the nesting and some LLM using, Logic isn’t happy. How can I force it to accept, so I can publish + test?

Thanks!