Fixes and improvements to the decision procedure