WIP: using a new version of attester (with support for require in at tests)