xsb option is used inconsistent

[Bart Bogaerts]

Preprocessing: daar luistert idp naar de optie "xsb"

voor postprocessing doet idp rustig zijn zin, als xsb op false staat denkt hij "och, ik ga die definities toch snel uitrekekenen met xsb. Fuck de gebruiker".

Bovendien: als een theorie enkel definities bevat, zijn dat allemaal postprocessdefs, dus denkt hij dat zoiezo