Bug #73 (http://sourceforge.net/p/potassco/bugs/73/) fixed:
Volatile queries are no more accidentally pruned by incremental steps
but considered until the next online progression step.