modify test data
create methods to obtain map, an element from a set whose cardinary is 1 in BtoVdmConverter.java