Documentation
Longer dependency rules
Uneccessary comments
Accommodate for larger relations in BCNF decomposition
Update userdoc