FIX: The interpreter now matches a single clause, not all of them.