create_value

function create_value(i: instance, attribute_name: I, value: gtv): attribute