code: private Environment checkBreak(Stmt.Break stmt, Environment environment, EnclosingScope scope) {
  		// FIXME: need to check environment to the break destination
  		return FlowTypeUtils.BOTTOM;
  	}
docs: Type check a break statement. This requires propagating the current
  environment to the block destination, to ensure that the actual types of all
  variables at that point are precise.
  
  @param stmt
  Statement to type check
  @param environment
  Determines the type of all variables immediately going into this
  block
  @return