From 607d6806558b43901dff50c42dadb674defb8e12 Mon Sep 17 00:00:00 2001
From: "nachideo.em" <nachideo.em@gmail.com>
Date: Tue, 15 Mar 2022 15:22:40 +0000
Subject: [PATCH] Update on Overleaf.

---
 sections/import.tex | 22 +++++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

diff --git a/sections/import.tex b/sections/import.tex
index 69851f3..5d419f5 100644
--- a/sections/import.tex
+++ b/sections/import.tex
@@ -1 +1,21 @@
-AST construction goes here
\ No newline at end of file
+\begin{algorithm}
+\caption{\texttt{astparse}$(s)$}
+\label{alg:abort}
+\begin{algorithmic}[1]
+\Require{$\mathcal N$: A source code from a cell}
+\State{$node = genericvisit(s)$}
+\If{\texttt{isinstance(node,ast.Name)}}
+  \If { \texttt{ in main scope} }
+    \State{\texttt{Populate store and load dictionaries in main scope}}
+   \ElsIf{}
+   
+  \EndIf
+  
+\ElsIf{$c_0$.\texttt{done}}
+  \State{Clear $c_0$'s results}
+  \For{$c$ s.t. $(c_0, c) \in \mathcal G$}
+    \State{\texttt{abort}$(\mathcal N, c)$}
+  \EndFor
+\EndIf
+\end{algorithmic}
+\end{algorithm}