Produce error for bad indexed function names in SMT-LIB, remove antlr warning.
Merge branch '1.4.x'