adding vm code to print predicate info
adding vm code to print predicate info