Package bap-trivial-condition-form