Differential logic gates in TLF libraries

Hello

I'd like to implement differential logic gates in a TLF-library.
Differential logic gates has the property, that all inputs and
the output are supplementary complemented. This means, that e.g.
a NAND has as inputs: A, AN, B, BN; as outputs: Q, QN.
Additionally these gates needs a clock signal.

The advantage of these gates is, that they produce also a
inverted output, that means, that a NAND is concurrently also
a AND, if the inverted output QN is used. As consequence,
inverters are superfluous.

My implementation of these gates in a TLF format looks like:

[...]
 CELL(myNAND
  [...]

   PIN(Q
      PINTYPE(OUTPUT)
      //FUNCTION( CLK & (A ^ AN) & (B ^ BN) & ~(A & B) )
      FUNCTION( ~(A & B) )
      Load_Limit(0.16)
   )

   PIN(QN
      PINTYPE(OUTPUT)
      //FUNCTION( CLK & (A ^ AN) & (B ^ BN) & (A & B) )
      FUNCTION( (A & B) )
      Load_Limit(0.16)
   )
[...]

(I also insert a INV in this library to alleviate synthesis
for now)

When I try to synthesize a VHDL design, then I get for both
implemented FUNCTION-solutions the errormessage:
    ERROR:   AND not realizable in library 'my_diff_logic'.
             Possible cause is that the TLF does not contain
             an AND gate <TM-301>.

It seams, that cadence is not able to handle such cases. I'm
right? How can I manage this problem?

Thank you for your help
 Egon Valentini