Passed all linux tests to xenial for uniformity and to avoid problems with cvc4 script requirements
Passed all linux tests to xenial for uniformity and to avoid problems with cvc4 script requirements

pysmt/pysmt,pysmt/pysmt