added static method description
added scheme of alias analysis
updated schemes
updated