concrete fixpoint test 11+13