Precondition

fun Precondition(priority: Int, construct: suspend PreconditionBuilder.() -> Unit)