McMillan's complete prefix for contextual nets