Catch undesired intersection between fields of SystemInformation

[bmaclach]

Some fields in SystemInformation are intended to be disjoint. For example, if the same equation is included in the definitions field and the datadefs field, the function corresponding to that calculation will be duplicated in the generated code. The inputs and outputs field should also be disjoint (though we currently include the outputs in the inputs in many examples as a hack for when we can't express all of the equations necessary for calculating the outputs).

Drasil should perform a check that these fields are actually disjoint.

Note: There is a FIXME in the code saying that the definitions field will be removed in the future.

Drasil/code/drasil-database/Database/Drasil/SystemInformation.hs

Lines 32 to 33 in a75925c

	, _definitions :: [QDefinition] --FIXME: will be removed upon migration to use of [DataDefinition] below
	, _datadefs :: [DataDefinition]

I'm thinking it will need to be replaced by something else so we don't lose the information it contained (the GenDefns and InstanceModels), in which case we will still need to check that none of the DataDefinitions, GenDefns, or InstanceModels are the same.

[Mornix]

Looks like @JacquesCarette removed _definitions as part of QDef-in-InstMod (not merged in and needs to be re-done because the branch is stale), more details of what that branch contained at #1373.

[JacquesCarette]

QDef-in-InstMod

[balacij]

This ticket assumes we have a definition of SystemInformation and makes an assertion that I've never seen before: that some fields of SI are meant to be disjoint sets!

It also hints that the 'solution' to an SRS is held within the SI. If this is the case, then I completely agree, but if this is not, I don't see the issue. There should be some chunk that clearly captures how a particular input-output problem may be solved. That solution method doesn't necessarily need to be the only one that can solve the input-output problem (e.g., two can deviate at different ODE solvers, expression formulas, etc.).