﻿P := plan {
    param Set := Range(10);
    param Def := Set->TakeIf(it mod 3 = 0);

    var Some from Set def Def;
};

P;
P with { Set: Range(5) };
P with { Def: Range(10)->TakeIf(it mod 3 = 1) };
P with { Def: Range(0) };
P with { Def: [] };

P := plan { var Some from Range(3, 10) to 7; }; // Error.
