# File examples/design_by_contract_example.rb, line 57
57:     def initialize 
58:       @invar = 0
59:     end

    # File examples/design_by_contract_example.rb, line 64
64:     def bad_action
65:       p "inside :bad_action"
66:       @invar = 1
67:     end

    # File examples/design_by_contract_example.rb, line 61
61:     def good_action
62:       p "inside :good_action"
63:     end