Move liveness property (acceptance predicate) from XCFA to more appropriate place #414
Description
Issue:
I had to add a prop to XCFA, which is then added to the configs as acceptance predicate. It's really not nice to have it in the XCFA, it should be moved to a more appropriate place.
Rough ideas:
MonolithicAdapter gets a new parameter or add to the L2S Pass; ConfigTo* gets it; or add to XcfaProperty