Participation to VSTTE 2013 competition with SPARK 2014 and GNATprove