A specification framework for Kotlin