A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks