def check_constraint(self, constraint):
        self._solver.push()

        self._solver.add(constraint)

        is_sat = self._solver.check()

        self._solver.pop()

        return is_sat
Check if the instruction and restrictions added so far are
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/analysis/codeanalyzer/codeanalyzer.py/CodeAnalyzer.check_constraint