Added function constraints_verification with many TODOs yet
Added function constraints_verification with many TODOs yet

9livesdata/whylog,andrzejgorski/whylog,epawlowska/whylog,andrzejgorski/whylog,9livesdata/whylog,kgromadzki/whylog,epawlowska/whylog,konefalg/whylog,kgromadzki/whylog,konefalg/whylog