Migrating BCE to use InstanceProxy. Fixes #8