Refactored different components of KLEE run

Extracted each of the three separate components of running KLEE into
their own methods. Did a trial run and all seems to work.