Tietueen lähde lausunnot ja haara tuloksia, jotka ovat kohdanneet, kun ohjelma suoritetaan käyttäen pikemmin symbolista kuin todellista, arvot lähtötiedot.