Added test for fully testing identifier-constraint