Use new Loop constructor and add a testcase for it
Do not process return type for constructors and destructors
Print warnings for statement before/after switch cases