SmtAda - A Simple Ada Backend Support Framework for Smt-provers