@@ -0,0 +1,335 @@
+package yokohama.unit.translator;%0D%0A%0D%0Aimport lombok.Getter;%0D%0Aimport yokohama.unit.annotations.Invariant;%0D%0A%0D%0A@lombok.AllArgsConstructor%0D%0A@Invariant(%22(%7B it.count %3E= 0 %7D)%22)%0D%0A@Invariant(%22(%7B it.count %3C 10%7D)%22)%0D%0Apublic class DummyCounter %7B%0D%0A    @Getter%0D%0A    private int count;%0D%0A    %0D%0A    public void increment() %7B%0D%0A        count++;%0D%0A    %7D%0D%0A%7D%0D%0A

Add DummyCounter for using from test case