Derivation trees with MetaPost
