adding assertion debugging