An Instantiation Scheme for Satisfiability Modulo Theories