ELC D-flip flop characterization problem

I am trying to characterize the DFSR (Set reset flip flop) using the Encounter User's Guide (Pages 192-193) version 12.0

I have used the two bool file lines for cell recognition:  

([N7], [N1], [N4], [N6]) = DFSR(D,CP,!SD,!CD),

(Q, QN) = ([N1], [N7]); 

The test vectors ELC generates based on the above two lines do not match with the truth table for the flip flop in the user guide. As a result, the verificate stage fails in a lot of test vectors. 

For example :

           CD  CP   D  SD  :  Q  QN  : N7  N4  N6  N1

 D0012:  1   R   0   1  :  R   F  :  F   0   1   R  : DELAY(CP)

Please advise