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