1. copied and modified soot's getJar
2. ASRExpr 'And' operation