Milestone 1 of ivASP implementation, with bw tested.

Dynamic rules (containing K) are appended with an incremental atom.
Blocks world instances tested.
Milestone 2 of ivASP implementation, with gc tested.

In the preprocessing phase, add a var to an unsafe atom node, even if
it doesn't have any support body.