adds check required params and Result

...z.cs.semint.kprime/usecase/current/TransformerXUseCase.kt

src/test/kotlin/unibz.cs.semint.kprime/support/Result.kt

src/test/kotlin/unibz.cs.semint.kprime/support/SealedEnum.kt