public Expression SMul(Expression left, Expression right) { return new BinaryExpression(Operator.SMul, PrimitiveType.Create(Domain.SignedInt, left.DataType.Size), left, right); }