Anna: Extended Version | ALEFAST