- switched to the newest TestFramework.lua
- removed needless reading of avlStates property in two cases