Conditional store to an AllocId based on an explicit condition
(&mut self, id: AllocId, offset: Term, val: Term, cond: Term)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected