Add Attachment:STR-38: ast2abox should use the arity of a constructor when looking for pp-entries.