Implementation of mcrl2 specification language in Spoofax