UninitializedStateVarsDetection: dont report unused variables

SlithIr Printer: printer modifiers IRs
SlithIR: fix missing condition conversion

slither/detectors/variables/uninitialized_state_variables.py

@@ -45,10 +45,20 @@ class UninitializedStateVarsDetection(AbstractDetector):
 
         return ret
 
+    @staticmethod
+    def read_variables(contract):
+        ret = []
+        for f in contract.all_functions_called + contract.modifiers:
+            ret += f.state_variables_read
+        return ret
+
     def detect_uninitialized(self, contract):
         written_variables = self.written_variables(contract)
+        read_variables = self.read_variables(contract)
         return [(variable, contract.get_functions_reading_from_variable(variable))
-                for variable in contract.state_variables if variable not in written_variables and not variable.expression]
+                for variable in contract.state_variables if variable not in written_variables and\
+                                                            not variable.expression and\
+                                                            variable in read_variables]
 
     def detect(self):
         """ Detect uninitialized state variables

slither/printers/summary/slithir.py

@@ -29,4 +29,14 @@ class PrinterSlithIR(AbstractPrinter):
                             print('\t\tIRs:')
                             for ir in node.irs:
                                 print('\t\t\t{}'.format(ir))
+            for modifier in contract.modifiers:
+                if modifier.contract == contract:
+                    print('\tModifier {}'.format(modifier.full_name))
+                    for node in modifier.nodes:
+                        print(node)
+                        if node.expression:
+                            print('\t\tExpression: {}'.format(node.expression))
+                            print('\t\tIRs:')
+                            for ir in node.irs:
+                                print('\t\t\t{}'.format(ir))
         self.info(txt)

slither/slithir/convert.py

@@ -636,6 +636,12 @@ def convert_expression(expression, node):
     if isinstance(expression, Identifier) and node.type == NodeType.RETURN:
         result =  [Return(expression.value)]
         return result
+    if isinstance(expression, Literal) and node.type in [NodeType.IF, NodeType.IFLOOP]:
+        result =  [Condition(Constant(expression.value))]
+        return result
+    if isinstance(expression, Identifier) and node.type in [NodeType.IF, NodeType.IFLOOP]:
+        result =  [Condition(expression.value)]
+        return result
     visitor = ExpressionToSlithIR(expression)
     result = visitor.result()