[Olena-patches] scool r149: Use atdiff instead of diff when comparing ATerm's