Allow analyzefinal to traverse AtMosts.