Un record de sursa de instrucţiuni şi rezultate de ramura care se confruntă atunci când un program este executat utilizând valori simbolice, mai degrabă decât reală, pentru datele de intrare.