Start coding plane merging_decide functor (UNTESTED).
The last verification step is missing and should be implemented.