Solved part of issue #8

added defintion of state offers data and implemented the notion that
from the initial state an IT can only occur when there is data and the
actions of the IT are all internal...