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