#!/bin/sh

./run -array-theory -ax:smt/AUFLIA2a.ax "$@"