added the trivial obligation solver