Gerrit（规则）验证：没有特定用户验证就没有推送

Question

我正在尝试创建我的prolog rules.pl文件以在Gerrit中强制执行门控功能。除非特定用户获得+1分，否则我需要阻止推送。这就是我所拥有的，但它有一些我无法找到的错误。我需要做哪些改变？

submit_rules(S) :-
    gerrit:default_submit(X),
    X =.. [submit | Ls],
    need_specific_approval(Ls,R),
    S =.. [submit| R].    

need_specific_approval(S1, S2) :-
    gerrit:commit_label(label('Verified', 1),need('userA_username_or_email')),
    S2 = [label('UserA-Verified', ok(_)) | S1].
need_specific_approval(S1, [label('UserA-Verified', need(_)) | S1]).