Make the condition simplifier