fix(tools/proofcheck/checker/lexer.mll): add support "inf" symbol
fix(tools/smt2_stat): consider Pow(e, 0.5) as "sqrt" function