Always use the original type size in right shift/div/mod stmts.
Put stmts into various pointer sets instead of using plf.

Five properties:
 * visited stmts
 * my stmts
 * skipped cast stmts (integer truncation)
 * skipped expr cast stmts
 * none of the above
can't fit into two bits.
release