Add use strict and warnings
Remove test.smt