fixed tc bugs related to Ambiguity