Added Support for Keko (Partial Program Analysis)