package mb.statix.concurrent.p_raffrayi.nameresolution;

import java.util.Optional;

public interface LabelWf<L> {

    Optional<LabelWf<L>> step(L l);

    boolean accepting();

}
@@ -172,9 +172,310 @@
 ing();%0A%0A
+    static %3CL%3E LabelWf%3CL%3E any() %7B%0A        return new LabelWf%3CL%3E() %7B%0A%0A            @Override public boolean accepting() %7B%0A                return true;%0A            %7D%0A%0A            @Override public Optional%3CLabelWf%3CL%3E%3E step(L l) %7B%0A                return Optional.of(this);%0A            %7D%0A%0A        %7D;%0A    %7D%0A%0A
 %7D

Add static any() implementation.