This pr closes #106. Replication rules are now defined by using special arrow =*>. If the rule replicates an agent but uses regular arrow, the replication relation will not be recorded.
New tests for replication rules have been added.
If a replication rule has more than one object on lhs or contains different agents on rhs than lhs, it is not considered a replication rule and error is raised.
This pr closes #106. Replication rules are now defined by using special arrow
=*>
. If the rule replicates an agent but uses regular arrow, the replication relation will not be recorded.New tests for replication rules have been added.
If a replication rule has more than one object on lhs or contains different agents on rhs than lhs, it is not considered a replication rule and error is raised.