import json


class AstSolver:

    def __init__(self, ast: str, params: str):
        json.loads(params)
        self.ast = ast
        for key, value in json.loads(params).items():
            setattr(self, key, value)

    def fix_missing_locations(self, AST):
        pass