simplified the ``@distr_support`` macro