# File examples/design_by_contract_example_spec.rb, line 64
64:     def initialize 
65:       @invar = 0
66:     end

    # File examples/design_by_contract_example_spec.rb, line 70
70:     def bad_action
71:       @invar = 1
72:     end

    # File examples/design_by_contract_example_spec.rb, line 68
68:     def good_action
69:     end