Bug fixes with formulas optimization: now supporting arbitrary formula computations using a stack; controlling the order of intersections.