Added bad_* tests which are failing to pass

src/test/data/pa2/student_contributed/bad_semantic.py

@@ -2,3 +2,13 @@ x:int = 1
 x:int = 2
 
 x
+
+def fun_1() -> bool:
+    if True:
+        if True:
+            return True
+    # All path should return, not just one
+
+
+fun_1()
+

src/test/data/pa2/student_contributed/bad_types.py

@@ -1,2 +1,5 @@
 x:int = True
 x + [1]
+
+y:bool = False
+x = y = z = "Error"