Added test for use of get_logic in factory.
Added test for use of get_logic in factory.

agriggio/pysmt,agriggio/pysmt,idkwim/pysmt,pysmt/pysmt,chubbymaggie/pysmt,pysmt/pysmt,chubbymaggie/pysmt,idkwim/pysmt