(test
 (name test_term)
 (libraries sol zarith alcotest))