FUD_batch=${FUD_batch-yes} ghumake -fallow-undecidable-instances -fno-th "$@"