broke up conv-to-cnf stages

hopefully this will stop my tasks from getting killed.