refactor(BV): Merge Congruence
and Constraints
#1010
Merged
Congruence
and Constraints
#1010