AUPO -- Abstracted Until Proven Otherwise: A Reward Distribution Based Abstraction Algorithm