Tests that use AGET/APUT with a tainted index - not satisfied