Rename the Guard class

[Brandhoej]

As pointed out in this comment the name Guard does not make sense as it is also used to describe an invariant. Renaming Guard to BooleanExpression would make more sense.