predicates.md (add_cint_operand): New.