Added UC1/NFR requirement: user' apps must be stateless

This pull request is related to #126