Adds the option to the infoflow analysis to filter conditional policy based on the default or user specified boolean values.
Signed-off-by: Daniel Riechers <daniel.riechers@rockwellcollins.com>
Signed-off-by: David Graziano <david.graziano@rockwellcollins.com>
