#!/bin/sh

./run -s -ax:smt/functions.ax -smt -valid "$@"