create/modify some test data files
create methods for div, rem operator in VdmToBConverter.java
create methods retern true/false in BtoVdmConverter.java