Alberto formula ação de Mandado de Segurança, pleiteando o reconhecimento de pretensão que depende da declaração de inconstitucionalidade de lei federal que obstaculiza o deferimento do seu requerimento. Nesse caso, a decisão de inconstitucionalidade, caso acatados os argumentos expendidos pelo impetrante, ocorrerá em exame de: