lessThan/greaterThan is strict ordering
add missing license
Add group and assertions examples to BasicExampleSimulation