test-smart-contract-aiken