Value-independent information-flow transform

[agle]

• Implement https://github.com/UQ-PAC/BASIL/blob/main/docs/iflogic-encoding.pdf under the assumption that all classifications are constant. This allows us to drop the quantified term in equation 16.
• Document which rules we will need to add later to extend to value dependent infoflow