Function match_pattern 

pub fn match_pattern(
    e1: &Expr,
    e2: &Expr,
    ctx: &mut BTreeMap<String, LinkedList<Expr>>,
) -> bool

e1 is a pattern and e2 is an expression to be matched.