how convert bddfeatureexpr to spllift.constraint