Bug-fix for when disabling rejection sampling
RBPS verification example