optimization possible for intersections

[miparnisari]

Checklist

• I agree to the terms within the OpenFGA Code of Conduct.

Describe the problem you'd like to have solved

With a model such as

model
  schema 1.1

type user

type account

type document
  relations
    define a: [user]
    define b: [account]
    define intersection: a and b
    define intersection_2: b and a

any queries of the form

Check(user:...., intersection_2, document:...)
Check(user:...., intersection, document:...)

can be optimized based on the fact that intersection([user], [account]) == {}

Describe the ideal solution

We compute the terminal types of an intersection and if len(terminal_types)==0 we can return allowed=false immediately.

Alternatives and current workarounds

No response

Additional context

No response