From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem