This DGA turned out to be Proslikefan. See ``../proslikefan`` for a generalized version.
