Fix the indentation of doListConservedSets.
Add the function support to ReactionSystems.
In Properties.conserved, only verify the condition for the subsets of the support.
In Properties.conserved, do not exclude the sets for which the reaction system produces no result.

The latest two commits update the code to match the definition in the
paper.