fix binding precondition ass