О проблеме эквивалентности для схем программ с операторами засылки константстатья