Modeling tool for Actual Causation