1) qualm.P
- simplify the condition in compute/7 by using clause/2 (still buggy -> though clause/2 trus, it does not guarantee that the fluent is true).
- move ensure_ground(Abd) call from consider_ab/3 to consider/4 (as Abd may possibly be instantiated by 'expect' call).

2) preprocess.P
- in process_expectation/1: fixing call to findall/3 (both for expect and expect_not) with arbitrary body (not necessarily empty), i.e., changing the argument from [] to anonymous variable (_).
1) File examples/th1.ab is extended with some other details.
2) File qualm.P:
- added query/3, with explicit input abductive context.
- compute/7 is redefined by nested call of bagof/3 in order to collect alternative solutions w.r.t. Arg. These solutions are enumerated via backtracking of member/2.