implementations of statement processing
constraintGraph update
update intializeMethod and initializeMethodInfo
Merge branch 'changjian/constraintGraph'