Tool used by K framework Coq backend