Termination checking failed for the following functions: not-d Problematic calls: not-d (♭ x) (at Issue636.agda:16,15-20)