ran into

error:  max depth exceeded: this usually indicates a recursive or too deep data
dependency

when I accidentally had a self referential permission. i.e

permission X = Y + X

. Should be easy to statically determine self reference here, which interestingly only cropped up in

assertFalse

and not in

assertTrue

due to short circuiting in the latter