module bar {
  namespace "urn:bar";
  prefix "bar";

  import foo {
    prefix foo;
  }

  deviation /foo:foo/foo:cntr {
    deviate not-supported;
  }
}