News for package mcrl2