Disallowed zero-arg smtlib FunctionApplications and updated smtlib
version