Implementing parallel Theory Synthesis