Initial work on realizeNTF_ct