more work on the binding group inference stubs