change which slows down the evaluated program. When a [...] change is generally
in a change [...] down the evaluated program. When a [...] method, or changing
in a change [...] down the evaluated program [...] method, or changing
programs P1 and P [...] in the program P1 20 times. T1 halts in the program