val upA : (andT,'s,'g) position -> (orT,'s,'g) position option
val upO : (orT,'s,'g) position -> (andT,'s,'g) position
val downA : (andT,'s,'g) position -> ('s,'g) subtreeO
val upA : (andT,'s,'g) position -> (orT,'s,'g) position option
val upO : (orT,'s,'g) position -> (andT,'s,'g) position
val downA : (andT,'s,'g) position -> ('s,'g) subtreeO