Minor changes: using list as non-deterministic computations.