Method: replaceStateDesOwner(SStmIR, SStmIR)

ERROR: Error while reading the sourcefile!