Corrected small issue for no-argument function applications

I didn't look around much in other Leon tests, but I have one example where a no-argument function invocation gets pretty-printed out to (functionName ) and this doesn't seem to parse in CVC4, so I just implemented a quick fix that checks whether the argument list is empty.