BC Vars Branching Test

Implements the test case for BC vars branching described in #491.