Finish matching lift.c and improve its documentation#15

idefix02 wants to merge 2 commits into

SAT-R:mainSAT-R/sa3:mainfrom

idefix02:lift.cidefix02/sa3:lift.cCopy head branch name to clipboard