Currifier test made a little better, comments and cosmetics
fixed nearest common ancestor algorithm and highest node computation. unit tests pass, work needed to make them less strict as talked mentioned in email exchange. changed return value of extract in flattener