‹¯ƒ [_,_][] DefaultVarDecExtSDef Module Strategieslibstratego-parallelparallel-orderedsparallel-unorderedˆ1(