Implemented correct analysis, implemented tie_a_tie
Fix docs
implement self-untying