Audit Procedures for Leases under ASC 842