5 notes that the cost tests make it unnecessary to initialize most rule fields. BEG [7] carried this observation one step further: Tests like the outer if statement in the improved ADDI case in Section 5 need not test rule fields at all; the cost tests su (0)

by Section