Has equal ast

[machow]

this branch is forked from check-result, so may be easier to look at that one first.