code: private Environment checkContinue(Stmt.Continue stmt, Environment environment, EnclosingScope scope) {
  		// FIXME: need to check environment to the continue destination
  		return FlowTypeUtils.BOTTOM;
  	}
docs: Type check a continue 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