Add trolley problem exampes and fix features dealing with counterfactuals, particularly in preprocess.P (processI/1 and processPred/1).
Forget to add trolley problem examples in previous commit