import SymbolicModalLogic.FixedPoints
import SymbolicModalLogic.MuCalculus
import SymbolicModalLogic.Instances.Relational