SSA works on DexterSourceSinkTest