Fixed the immutable_method_contract