Merge branch 'check-for-writes-to-predicates' into 'master'
Introduce a check for writes to predicate variables (and prevent those) (Fixes #57 on Github) See merge request !31
Introduce a check for writes to predicate variables (and prevent those) (Fixes #57 on Github) See merge request !31