let interpret_const = fun v -> fun input_beam ->
        let n = List.length input_beam in
        if n = 0 then [(0,(fun t -> v))] 
        else raise (Evaluation_Error "Const")