How EOS can solve problems in Executable Contracts