#!/bin/sh

echo [SA] new: 6. this_is_a_test_case(test_constants2) [definition unfolding 3,1]
echo [SA] new: 7. ~this_is_a_test_case(test_constants2) [definition unfolding 4,1]
echo 1. this_is_a_test_case(test_constant) [input]
4. ~this_is_a_test_case(test_constant) [input]
