Gravar-mail: AI Modelling of Counterfactual Thinking for Judicial Reasoning and Governance of Law