fix termination for Agda-2.3.4