Addresses the duplicate branch operand implementations (Issue #1) by
introducing a templated base 'B' class that derives from its templated
parameter -- in these cases, all of the operands as predicates.