[kb1m8s] Failed example 5 does not fail the rule#2413

giacomo-petri wants to merge 1 commit intodevelopact-rules/act-rules.github.io:developfrom

giacomo-petri-patch-global-properties-prohib-attrsact-rules/act-rules.github.io:giacomo-petri-patch-global-properties-prohib-attrsCopy head branch name to clipboard