jumpdiff_process.
info_store
Optional diagnostic information logging function, called after each invocation of the let method.