Constant Array Domain: https://github.com/facebook/redex/blob/master/service/consta...
Pointer domain: https://github.com/facebook/redex/blob/master/service/escape...
Type domain: https://github.com/facebook/redex/blob/master/libredex/IRTyp...