Implement translation of mul instruction