Fix divide by 0 error
Fix pattern matching error
Merge pull request #109 from andig/aggregator_visibility

Fix divide by 0 error
Merge pull request #112 from andig/fix-property-pattern-matching

Fix pattern matching error