proc SC {type opt} { set x [substitute {$S\rightarrow C$} ] return [parse $x] }