dabstract and fabstract are imploded ATerms. When they are lists of the same length with strings inside, <equal> tells they are equal even when the strings are different. The following test code says “equal” as long as the lists have the same length and only strings inside:

fabstract ;
dabstract ;
( (dabstract, fabstract) < “equal” + “unequal” ) ;

Submitted by Guido Wachsmuth on 2 June 2010 at 15:42

Fixed in r20935.