implemented simlift and simlift_liftonly. Not sure backtracking for simlift_only works correctly if there would be multiple lift intervals.