Thomashuet/biocomp — pull request #1 by LambdaP (2014-02-02 21:09:15+00:00)
Title: Add some functions

This adds the following functions:
- transform the code so that no function has instructions after it returns;
- decompose reactions with more than two reactants into simpler ones;
- introduce buffer reactions when postconditions are incompatible with preconditions.