fixed bug in mop/vkpaths that prevented generation of paths into procedure bodies.