Write the value `val` to index `offset` in the allocation `id`.
(&mut self, id: AllocId, offset: Term, val: Term, cond: Term)
source not stored for this graph (policy: none)