A simple unit test for unidirectional information flow in the SELinux MLS policy