{"ast_node_type":"variable","tokens":[{"end":69,"kind":"keyword","start":0,"text":"let"}]}
                let precond = if let Some(req) = &contract.requires {
            if let Some(contract) = contract {
                    // Lower the precondition check intrinsic.