HTab2HCASL A translator that given an input file in hylolib format, returns another with an equivalent specification in HCASL