There are two problems.
First, not be able to resolve types of argument of tokens mk_token({}) and mk_token([]).
Second, it is under construction how to obtain type information of the argument of mk_token in BToVdmConverter.java. (Mktkn-0007.vdmsl for example)