Argumentation - detecting conflicts

- AF now detects conflicts of actions by checking precons and effects.
-TODO: label arguments in and out.