do not allow R1/R2 edges in OCS tree
finished simplifying algorithm - seems to work fine
Merge branch 'simplify-algorithm'