Taint now propagated from callees to callers.

Previously, SOAAP's information flow analyses were not propagating taint back from callees to callers. This commit now adds support for this.