k3-al: Replace hard-string comparisons with safe types comparisons
k3-al: Proper null-checks
k3-al: Missing return statement in preconditions checking
k3-al: Moved DbC preconditions checks
k3-al: Cleaning @Contracted
k3-al: Improved @Contracted error messages