Hi Robert, thanks for the analysis! I'm closing this since we already have this
issue open elsewhere: issue164. I'll add you to the nosy list there. If it takes
us more than a few weeks to act on this, feel free to nudge me.

AFAICT, the problem parser does not expect a :requirements component in the 
problem statement, but the PDDL grammar seems to permit this.

When I try to parse the attached domain and problem (modified versions of the 
BAMS domain from the IPC), I get an assertion failure where init[0] is not equal 
to ":init" in translate/tasks/pddl.py

Indeed, when I check, init[0] is actually bound to ":requirements" instead.