csep504a_AbstractInterpretation