a set of abstract bare trees with detailed branches and twigs .