a chc-tool for personal usage, simply parse the token and do small transportation.
now support:
- lia to bv
- datalog chc to normal chc
- classify a chc and set its logic
### WARNING
- use `-o` carefully, convert without `-o` means stdout, classify without `-o`