tighten derivations trees