The current version of the Cartesian CEGAR implementation in Fast Downward has not been actively developed for some time and we want to start implementing some new features (like support for conditional effects, axioms, etc.) in the future. 
In the sprint in July 2026, we decided that it makes sense to first check which features have been added in Scorpion and which of those we can / want to port back into Fast Downward.