Add an ability to generate verification objects by specifying a list of functions to be defined
Program fragments generation
Published in build:
Quite often users would like to specify not modules which define missed functions but functions themselves. LKVOG should find corresponding modules and generate a verification object with their correct order of load.