Added UC1/NFR requirement: user apps must be stateless

This pull request is related to #126