inline reductions explicitly check for a reduction domain