Are BDDs Still Alive within Sequential Verification?