add rule to demonstrate symbolic.Blc program
additional programs that need to be decoded