Use subrange information only for inductive processes
Use subrange information only for inductive transition