Compute strongly connected components of model rules, and do computations the correct...