\documentclass{article}

\usepackage{graphicx}
\usepackage{amssymb}
\usepackage{stmaryrd}
\usepackage{amsmath}
\usepackage{fancyvrb}
\title{}
\author{}

\date{}
\begin{document}
\maketitle


\thispagestyle{empty}

Do not check a source reference to the Test... Frame\\effective: True

\[
\left\{
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{isPrefixOfS}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathsf{Test}
,
\\
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{case}
\hspace*{4pt}
\mathtt{listToMaybe}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{getFrameByID}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{fnDB}
,
\\
\mathtt{source}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mbox{\em rel}
\\
\end{array}
\right)
\\
\end{array}
\right)
\\
\end{array}
\right)
\hspace*{4pt}
\mathtt{of}
\\
\begin{array}{@{\hspace{5pt}}l}
\mathtt{Just}
\hspace*{3pt}
\rightarrow 
\hspace*{3pt}
\mathtt{name}
\\
\mathtt{Nothing}
\hspace*{3pt}
\rightarrow 
\hspace*{3pt}
\mathtt{nilS}
\\
\end{array}
\\
\end{array}
\\
\end{array}
\right)
\\
\\
\end{array}
\\
\end{array}
\right\}
\]


Do not check a target reference to the Test... Frame\\effective: True

\[
\left\{
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{isPrefixOfS}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathsf{Test}
,
\\
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{case}
\hspace*{4pt}
\mathtt{listToMaybe}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{getFrameByID}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{fnDB}
,
\\
\mathtt{target}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mbox{\em rel}
\\
\end{array}
\right)
\\
\end{array}
\right)
\\
\end{array}
\right)
\hspace*{4pt}
\mathtt{of}
\\
\begin{array}{@{\hspace{5pt}}l}
\mathtt{Just}
\hspace*{3pt}
\rightarrow 
\hspace*{3pt}
\mathtt{name}
\\
\mathtt{Nothing}
\hspace*{3pt}
\rightarrow 
\hspace*{3pt}
\mathtt{nilS}
\\
\end{array}
\\
\end{array}
\\
\end{array}
\right)
\\
\\
\end{array}
\\
\end{array}
\right\}
\]


Do not check a source reference to the Boulder Frame\\effective: True

\[
\left\{
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathsf{Boulder}
= 
\\
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{case}
\hspace*{4pt}
\mathtt{listToMaybe}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{getFrameByID}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{fnDB}
,
\\
\mathtt{source}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mbox{\em rel}
\\
\end{array}
\right)
\\
\end{array}
\right)
\\
\end{array}
\right)
\hspace*{4pt}
\mathtt{of}
\\
\begin{array}{@{\hspace{5pt}}l}
\mathtt{Just}
\hspace*{3pt}
\rightarrow 
\hspace*{3pt}
\mathtt{name}
\\
\mathtt{Nothing}
\hspace*{3pt}
\rightarrow 
\hspace*{3pt}
\mathtt{nilS}
\\
\end{array}
\\
\end{array}
\\
\end{array}
\\
\\
\end{array}
\\
\end{array}
\right\}
\]


Do not check a target reference to the Boulder Frame\\effective: True

\[
\left\{
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathsf{Boulder}
= 
\\
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{case}
\hspace*{4pt}
\mathtt{listToMaybe}
\left(
\mathtt{getFrameByID}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{fnDB}
,
\\
\mathtt{target}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mbox{\em rel}
\\
\end{array}
\right)
\\
\end{array}
\right)
\right)
\hspace*{4pt}
\mathtt{of}
\\
\begin{array}{@{\hspace{5pt}}l}
\mathtt{Just}
\hspace*{3pt}
\rightarrow 
\hspace*{3pt}
\mathtt{name}
\\
\mathtt{Nothing}
\hspace*{3pt}
\rightarrow 
\hspace*{3pt}
\mathtt{nilS}
\\
\end{array}
\\
\end{array}
\\
\end{array}
\\
\\
\end{array}
\\
\end{array}
\right\}
\]
\end{document}
