Allowing N_VARS == 0 constant functions could be represented too.