Package org.tweetyproject.logics.bpm.analysis