Constructor fix PropositionController