Hi, everyone,

    I am a new user of CIL and I try to use the pointer-analysis module.When I read the source code of golf.ml, I found that there are 3 types of subtyping kind.But what is the difference? And what is the use of each one?If there is any relevent document, it will help much.