It's a no-win situation for a non-Muslim to report/not report.
Either way...they are screwed.
If they report .... with the current rules/laws against discrimination....they will be the ones in trouble....because technically they would be doing racial discrimination.
When the Congress created the Civil Rights Act of 1866 and all the subsequent civil rights legislation....they had no idea that someday we would have jihadist Muslims trying to kill us on a regular basis.
Until there is some sort of protection.... put down on paper.....there aren't going to be a whole lot of military people willing to risk their careers reporting someone who may be a wacko Muslim.
Ain't going to happen...not in the military or anywhere else.
Laws are either going to have to be amended OR there is going to have to be something on paper that will stand up in a court of law protecting the individual who tries to warn against a possible terrorist.
Unfortunately....just about anything on paper can be contested in a court of law....and often it gets turned over.