missing toi63 in Script implementation
proper parsing of * in Smtlib_parser