Added support for $bu0 to SatGen
Fixed bit-extending in $mux argument (use $bu0 instead of $pos)