Added support for handling multiplication as a theory operation