fix excessive FAnd construction/deconst. Fix obscure NC pred ordering problem