public void NotImplemented() { var p = new Pattern(3, Entity.PatType.COMMON, Const.Patterns.AlwaysTrue); AssertExceptionThrown((() => { p.Check(); return(true); }), "@"); AssertExceptionThrown((() => { var _ = p == p + 1; return(true); }), "@"); AssertExceptionThrown((() => { p.Simplify(); return(true); }), "@"); }