Generic
Builds a new condition, which checks if the molecule exists or not inside the node n.
Parameters
mol
the molecule whose presence should be checked
n
the current node
quantity
the amount of molecules which should be present. Must be positive.