natgavrilenko

Hi, I think that adding "no ((E2->E4)+(E4->E2)) & X.asmo" will also forbid legal behaviors, because it disallows all "asmo" edges between E2 and E4. For example, if we modify the...