Allow full abstract-state space recomputation - configurable