Handle constraint with OR at highest position and one of the sub-trees with AND has highest position by expanding it into 2 trees