Make Kani execution more responsive by reusing artifacts from previous execution that don't require any modification.