[Module Main] Check the correct implementation between Project and User (participant)

Write tests to verify the correct behavior of the participant association between Project and User.