Adds PropositionControllerTest