Alim, Muhammad, Mahkamah Konstitusi Republik Indonesia, Indonesia