Abstract interpretation assignment for CSCI 7135