composite slab
Assert

--HG--
rename : expression/src/main/scala/org/encalmo/expression/PrimitiveOperation.scala => expression/src/main/scala/org/encalmo/expression/BooleanOperation.scala
rename : calculation/src/main/scala/org/encalmo/calculation/FormulaPartRelation.scala => expression/src/main/scala/org/encalmo/expression/Relation.scala