implemented nondeterministic set_up constants(except parameter set-size) + tests