Various examples of current DynareBugs