Add a method for distributed concatenation in VdmToBConverter.java and comment out System.err.println in BtoVdmConverter.java