Mark the edges in the boundary
Use stack for the greedy extension of OPD's
Check whether the current tuple can still be completed to a 4-tuple
Limited the number of branches and restricted the depth to 4