k3-al: Use camelCase convention for contracts naming
k3-al: Improved @Contracted tests