Towards a SMT-LIB interface for Ada