bug fix. Falling through BVMULT as it should. Removing bit constant propagation for Equality, going to replace this anyway (it doesn't look like it works for CVC? )
bug fix. Falling through BVMULT as it should. Removing bit constant propagation for Equality, going to replace this anyway (it doesn't look like it works for CVC? )

kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp