Currently, the last message printed when running Ailof is `RTL patcher is initialized with 1 signal(s) to process.` It might be useful to display a closing message containing a list of fuzzed signals.