SMT-aS | BATrace