Equals(left: DirFormula, right: DirFormula)
Logical equivalence. A path will match this restriction either when it matches both left and right restriction or none of them.