Add pre-condition for binding information instantiation