Incorporation of Scope for Process Audit in SETLs