Started adding quantifier portion of Z3's library