nf postgresql precondition stub