generated split tree for append
split at ωru(3)
|
+- ForcedConstructorPattern.Vec.nil  -> done, 3 bindings
|
'- ForcedConstructorPattern.Vec.cons  -> done, 6 bindings

generated split tree for test
split at ωru(1)
|
'- ForcedConstructorPattern._×_.pair  -> split at ωru(3)
   |
   '- Agda.Builtin.Equality._≡_.refl  -> done, 2 bindings

