1Make sure that a pathological case in induction var analysis
2doesn't hang up the compiler.
3