The supreme court formerly used the lemon test to check for constitutional violations of religious liberties according to which clause?.