I'm sceptical of Ethereum, but seems a bit too much to expect a proof of concept to include every nuance of current insurance theory. The question seems to be: is it impossible to model those problems using smart contracts? If not, it'll be done eventually.