new scoping rules for 'if' now active
fixes #451
fixes #456
implemented dataflow analysis; activate via --warning[Uninit]:on