#!/bin/sh

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