ENH: Checker improved
ENH: add switch_begin to cpp writer
ENH: add checking function if tokens in place have fifo behaviour
ENH: add function objects_with_same_attribute
ENH: add function for checking enabledness of actions
ENH: add VerifThread
ENH: base of partial order reduction (POR)
ENH: add testing of POR
ENH: add disable partial order to GUI
ENH: add infrastructure for easy POR debuging

Conflicts:
	libs/caverif/statespace.cpp

Conflicts:
	libs/caverif/statespace.cpp
ENH: Statespace can be written into .kreport
FIX: Refactored & fixes of POR
FIX: successors for receive, unnecessary operations
FIX: prevent cycles in POR
ENH: Tests improved and refactored
ENH: New POR test
ENH: Command line arguments for state space analysis changed
RF: caverif slightly refactored
ENH: Statespace dialog improved
ENH: Output of statespace analysis showed in gui filtered by prefix