de.rwth.i2.attestor.phases.symbolicExecution.stateSpaceGenerationImpl (Attestor 0.4.1 API)