A dependency graph is constructed for the dependent variables of the ODE system. If this graph can be divided in at least two subgraphs the ODE system is declared separable.

Example for the system B1.