Support while loop in type analysis