Fix: all_random_worlds now allows different variables to have different support.