add a process to create an empty map in BToVdmConverter.java
create test data for map
add and delete comments in VdmToBConverter.java