introduce and tree and or tree simplification methods