Add options - done
Create relation 
Test relation (how? create random subsets and supersets?)
Modify reachability
Test reachability
