Tree
linearisierung von widersprüchen