Class	Coverage
KrmsTypeTest KrmsTypeTest	0.0 (0%)
PropositionParameterTest PropositionParameterTest	0.0 (0%)
PropositionTest PropositionTest	0.0 (0%)