Added most of the code. The code for source, terminal, and communication, parallelism is left. Also, need to concatenate the documents together to output the SMT-lib format