Move liveness property (acceptance predicate) from XCFA to more appropriate place

[AdamZsofi]

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