homeowork 3 skeleton solution
alloy example from lecture 12
Merge branch 'origin-emina/master'