abstract semantics for mul and div