Constraint independence

[delcypher]

For some constraint sets it might be the case that there exist several independent subsets (i.e. the intersection of each subset is the empty set).

In this case the fuzzer may waste time mutating inputs that already satisfy a subset. There are two possible fixes

• We generate multiple programs for each subset and fuzz them independently
• We implement a custom mutator and track the subsets so that once a subset is completely satisfied we skip trying to mutate the inputs that correspond to that subset.