URL Jump to https://club.sixated.com/post/typechecking-mcrl2-n6eucd