There is a problem with divisions by zero in Theorem 4,
so it is safer to consider only division-free straight-line programs.
Perhaps a revised paper will be published someday...