throwExp :: Loc -> Expression -> Expression
throwExp loc e = Apply (Procedure [] [Throw loc e])
                       []
throwExp :: Loc -> Expression -> Expression
throwExp loc e = Apply (Procedure [] [Throw loc e])
                       []
throwExp loc e = Apply (Procedure [] [Throw loc e])
                       []