Additional test cases for using automatic variables in equivalence statements.