ARC: fix verify to not evaluate the top AMS twice