Added yet another plugin that has the potential of improving realizability checking performance.