[#18] first implementation of Memorization Set Generator. All code IS NOT
coeverd by jUnit tests yet