@@ -205,6 +208,8 @@ set(TRANSFORMS
 		${TR_GV}
 		${TR_PRIV_DEL}
         ${TR_CONV})

@@ -2057,2 +2058,4 @@
     else if (curr_regime == FIX_COMMON_BLOCKS)
         fixCommonBlocks(allFuncInfo, commonBlocks, &project);
+    else if (curr_regime == SET_IMPLICIT_NONE)
+        ImplicitCheck(&project);

@@ -0,0 +14,4 @@
+using std::string;
+using std::to_string;
+
+static map<char, SgType*> implicit;

@@ -0,0 +18,4 @@
+static set<SgSymbol*> vars;
+static vector<SgSymbol*> toDecl;
+
+static void InsertToMap(SgType* type, SgExpression* letters) {

@@ -0,0 +40,4 @@
+			break;
+		default :
+			//printf("IMPLICIT bad format (can bew only {letter : letter} or {letter})");
+			throw;

@@ -0,0 +48,4 @@
+
+}
+
+static void InsertDefaultToMap() {

@@ -0,0 +65,4 @@
+static void CheckVariables(SgStatement* function) {
+
+	for (int k = 0; k < function->numberOfChildrenList1(); k++) {
+		SgStatement* state = function->childList1(k);

@@ -0,0 +70,4 @@
+
+		if (state->expr(0) && (state->expr(0)->variant() == VAR_REF || state->expr(0)->variant() == ARRAY_REF)) {
+			SgSymbol* symbol = state->expr(0)->symbol();
+			auto x = declaratedInStmt(symbol, NULL, false);

@@ -0,0 +79,4 @@
+				
+				if (implicit.find(firstLetter) != implicit.end()) {
+					if (implicit[firstLetter]->variant() != symbol->type()->variant()) {
+						symbol->setType(implicit[firstLetter]);

@@ -0,0 +81,4 @@
+					if (implicit[firstLetter]->variant() != symbol->type()->variant()) {
+						symbol->setType(implicit[firstLetter]);
+
+						if (symbol->declaredInStmt() == NULL) {

@@ -0,0 +85,4 @@
+							toDecl.push_back(symbol);
+						}
+					}
+					else {

@@ -0,0 +93,4 @@
+					//printf("Variable - ");
+					//printf(symbol->identifier());
+					//printf(" - not found in IMPLICIT\n");
+					throw;

@@ -0,0 +99,4 @@
+		}
+	}
+
+	makeDeclaration(toDecl, function, NULL);

@@ -0,0 +111,4 @@
+	 
+	for (int i = 0; i < project->numberOfFiles(); i++) {
+		SgFile file = project->file(i);
+		int coutOfFunctions;

@@ -0,0 +115,4 @@
+		for (int j = 0; j < file.numberOfFunctions(); j++) {
+			SgStatement* function = file.functions(j);
+
+			implicit.clear();

@@ -0,0 +121,4 @@
+
+			//fill implicit
+
+			for (int k = 0; k < function->numberOfChildrenList1(); k++) {

@@ -0,0 +128,4 @@
+
+				if (state->variant() == IMPL_DECL) {
+
+					if (state->expr(0) == NULL) {

@@ -0,0 +140,4 @@
+
+							string what_type = one->lhs()->sunparse();
+
+							if (what_type.find("kind=") != std::string::npos) {

@@ -0,0 +142,4 @@
+
+							if (what_type.find("kind=") != std::string::npos) {
+
+								SgType* baseType = new SgType(one->lhs()->type()->variant());

@@ -0,0 +152,4 @@
+							}
+							else {
+
+								SgType* type = new SgType(one->lhs()->type()->variant());

@@ -0,0 +154,4 @@
+
+								SgType* type = new SgType(one->lhs()->type()->variant());
+
+								SgExpression* letters = one->lhs()->operand(1);

@@ -0,0 +164,4 @@
+
+					}  
+					
+					break;

@@ -0,0 +167,4 @@
+					break;
+				}
+				
+				if (state->variant() == CONTROL_END) {

@@ -0,0 +171,4 @@
+
+					SgStatement* state = new SgStatement(IMPL_DECL);
+					auto cp = function->childList1(0)->controlParent();
+					function->childList1(0)->insertStmtBefore(*state, *cp);

@@ -0,0 +1,7 @@
+#pragma once
+#include "Utils/SgUtils.h"
+
+#include "string"

@@ -0,0 +4,4 @@
+#include "string"
+#include "map"
+
+void ImplicitCheck(SgProject* project);