code: private Context translateVariableDeclaration(WyilFile.Decl.Variable stmt, Context context) {
  		if (stmt.hasInitialiser()) {
  			Pair<Expr, Context> p = translateExpressionWithChecks(stmt.getInitialiser(), null, context);
  			context = p.second();
  			generateTypeInvariantCheck(stmt.getType(), p.first(), context);
  			context = context.write(stmt, p.first());
  		}
  		//
  		return context;
  	}
docs: Translate a variable declaration.
  
  @param stmt
  @param context
  @return