- Add examples tabteb.ab, combining tab.ab and teb.ab, test with ?- query((kill_civilian,end_war),O).
Try using the IC to choose among tab and teb mutually exclusive.

- list_utils.P: change back memberO and insertElem to their original definitions, i.e., for unifying non-ground timestamp,
instead of simply inserting the element with non-ground timestamp. This change helps in dealing with ICs.

- preprocess.P: modify processICAbds, do not transform abducible A to consider(A)

- qualm.P: (major) fix the definition of compute, by copy_term the output O as well, and pass the copy to the call in the if-then-else construct.
This is to warrant that in checking the negation of a literal, where O is already fixed, it should fail in the if condition, and not in the bagof statement.