Currently, FOLD output faceOrder for all pairs of overlapping faces. But the FOLD spec specifies that redundant constraints may be omitted. So we can remove them on output and add them back on input. If removed, we still need to compute 3-way overlap to determine which orders were removed.
Currently, FOLD output faceOrder for all pairs of overlapping faces. But the FOLD spec specifies that redundant constraints may be omitted. So we can remove them on output and add them back on input. If removed, we still need to compute 3-way overlap to determine which orders were removed.