Added path invariant instantiation