Testing problems:
frontends.read_liberty_error.read_liberty_error_read_liberty_redefenition_of_module
- Typo in the message "Re-definition of of cell/module..."