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