First steps towards an actual SMT-LIB v2 Ada parser