randomized value abstraction simplification