Framework for Parallel Theory Synthesis (currently not supposed to be working)