Move CVC3 to use the table name for its generated file.

Instead of special parsing the function name, use the table name as the CVC3
file's name.  Eventually it will be parsed the same anyways.  Also avoid
setting the filename after using it, avoiding unnecessary duplication.