A dynamic law in C has the form caused F if G after U where F is a
propositional formula over the set of fluent names (called headFormula) G is
a propositional formula over the set of fluent names (called ifFormula) U is
a propositional formula over the set of fluent names and the set of action
names (called afterFormula)

This class represents a static rule in C, which has the following form:
caused H if G where H is a propositional formula over the set of fluents and
G is a propositional formula over the set of fluents and the set of actions