Change connection between target dependent and independent part in pair
sharing analysis
Allow analyses starting from given input annotation.
Support for specifying input to method analysis.