new test for ai with explicit fixpoints