Handle aliases in results from Yices