Adding definition of rule applicability fixed #86
Adding a definition for limit on total number of membranes fixed #88