add update propagation for 'set' command on Frm::Exe by using @flush_procs;