Function urem 

pub fn urem<'c>(
    context: &'c Context,
    lhs: Value<'c, '_>,
    rhs: Value<'c, '_>,
    location: Location<'c>,
) -> URemOperation<'c>

Creates an urem operation.