Implementation of the work list algorithm for abstract interpretation, combining clang and apron libraries