fix bug for bracket priority using AdditionalTerm