isRaise (EAp (EVar (Prim Raise _)) [_])
                                = True
isRaise (EAp (EVar (Prim Raise _)) [_])
                                = True
isRaise (EAp (EVar (Prim Raise _)) [_])
                                = True