Tests for a static error in an AVT.