concrete fixpoint test 9, 10, 12