for logging

sneaky throws a fileNotFoundException. Only for the state-based DIM. It
is assumed that the declarative model compiles correctly before
deltaInPlace DIM is invoked, hence there should be no problems.

different between state and in-place. added utilities.