Static analysis of logical languages with deferred update semantics