Limitations:
 - Test suites about Fairz3 need full refactoring to shutdown
 - No shutdown in termination checkers for now.