binding: add assertion