delete listener test, concrete fixpoint test 2