How to implement at-most g using OR tools python in conjunction with other constraints?

Question

I have got a list of 5 users : User1, User2, User3, User4 and User 5. and a list of 5 steps : Step1, Step2, Step3, Step4 and Step5.

I have also got some constraints t