Tests for BV aliases