modified joosc.py file. 48/60 on marmo

joosc.py

@@ -5,7 +5,7 @@ from os.path import isfile, join
 
 from Scanning import scan
 from Parsing import parse
-from AstBuilding import astBuild, buildEnvAndLink, disamiguateAndTypeChecking
+from AstBuilding import astBuild, buildEnvAndLink, disamiguateAndTypeChecking, reachabilityChecking
 import Weeding
 
 
@@ -60,6 +60,11 @@ def main():
     except Exception as e:
         return 42
 
+    try:
+        reachabilityChecking(ASTs)
+    except Exception as e:
+        return 42
+
     return 0