an internal inspection checking that virtual files are compared with "equals"