Delete a-reduction.agdai