Enabling static analysis for partial java programs | Synapse