debug: param binding in octagon analysis