add LazyPRM*