changed order of fiber_path and fiber_path_UU for consistency
changed order of total_path_reconstr and ..._UU for consistency
commented out some useless lemmas
some cleanup in aux