Add the nosmt check