skip PROPDEP pattern, PVT is a generalization