correctness proof of partial evaluation of terms of static integer type