Small fixes to maude refine file and made true obligations produce nothing.