Allow Ronja to use lazy distinct when possible