Remove complaints from the termination checker