pre_decr.invalid.mj

class PreDecrement {
    public void isInvalid() {
        --onlyOneToken;
    }
}