At the moment a forall statement with a self join like

forall( $t : Type( constraints1 ) Type( this == $t, constraints2 ) )

is implemented with 2 not nodes and a join. It would be much faster to rewrite it as

not( Type( constraints1, !constraints2 ) )

and then evaluate it with one single not node.