rename
add is_check.pro
supertypes/2 in kotlin.pro