fixed bug in del_duplicates, implemented compare_exprs()