Top-level LVS (not passing)