comments on Hedge::IsDegenerate