adderall.dsl: Fix appendᵒ

This fixes appendᵒ, as explained in The Reasoned Schemer. As a
consequence, more tests could be enabled.

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>