Fixed tests from PropositionControllerTest and now everything is green
Translated and improved names on PropositionControllerTest