public void verify_instructions()
        {
            theScenario.WhatDoIHave();
            VerifyInstructions.Assert(theScenario.Instructions, _ =>
            {
                _.Verify <BeginModelMap>(__ => __.Name.ShouldEqual(WorkflowObject.KeyFor("case")));

                _.SkipDefaults();

                // The first used to be 3400 but now it should be gone

                _.Verify <BeginActEntry>(__ =>
                {
                    __.Code.ShouldEqual(8900);
                    __.IsVerbose.ShouldBeTrue();
                });
            });
        }
 public void verify_instructions()
 {
     theScenario.WhatDoIHave();
 }