SMV #73: clean up module name to remove prefix and symbols in dependency graph.