Test Case	% Success
KrmsTypeTest KrmsTypeTest	-1.0 ( - )
PropositionParameterTest PropositionParameterTest	-1.0 ( - )
PropositionTest PropositionTest	-1.0 ( - )