annotation-aware renaming
annotation aware
annotation-aware renaming
show error message
fix renaming
make MOP fit for annotation-based analyses
bit cleanup
use Let decl
Merge remote-tracking branch 'upstream/fomega' into fomega
Added TODO
Record typing rule and notin sel judgment translation

This need more fixing since the typing rule constructs new terms
which need to be initialized for the analysis.