Produce error for bad indexed function names in SMT-LIB, remove antlr warning.