The new checks in the search component that run when reading a planning task 

assume that each action has at least one effect (issue1146). However, this
causes 
problems because we now allow no-op actions (issue1184).

Thanks! So this means we should relax the checks.

This is closely related to
the latest discussion in issue1146, in particular msg11881.

Looking at
issue1146, I thought we merged it. Did we not? I see the issue is still open,
but it could also be that we just forgot to close it.

Perhaps it's still open
because we didn't yet open the follow-up issue mentioned in the discussion?

I just realized that the files are not attached to the individual messages (nice 
:).
Here is the call that triggers the error:

./fast-downward.py --translate --search domain.pddl prob01.pddl --translate-
options --keep-no-ops --search-options --search "astar(blind())"

I don't know how to upload two files at once. Here is a simple domain file: