It is not wise to handle each path of entry point "dummyMainMethod"

1. Do backward analysis of each source container to entry point and
merge the states
2. Identify the statement that triggers sink path
3. Begin forward analysis of the sink path at the identified statement