Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner