attr: rename "IntegerLift" coding method to "Pred"
The IntegerLift name is misleading in light of a separate coding method that uses lifting predict and update operators. This commit renames the method to specify it is a prediction-only scheme.
Please register or sign in to comment