This package provides analyses over the WALA SSA IR.