Wrote code for translating bool exp to Pi calculus (to be debugged)