The task is to implement a tool for the translation of the LLVM intermediate representation into the Numeric Transition System formalism and the subsequent reduction of the state space using the partial order technique. The translation will be able to handle a subset of the LLVM-IR sufficient to demonstrate the reduction, i.e. especially supporting parallelism using Pthreads and shared variables. The reduction will be evaluated by comparing the sizes of the reduced transition system and the system before reduction on a collection of parallel C++ programs.