Use appropriate function to check volatility.
Use panic("foo") instead of assert(!"foo").
Factor callback version opt_if_conv_cb() out of opt_if_conv().

This allows users - such as Special Instruction creation for
reconfigurable microarchitectures - to override the backend's
predicate.