Add unit test for make_layer_to_symbolic_state