def _asts_must_be_equal(state, ast1, ast2):
    """
    :param state: the state to use for solving
    :param ast1: first ast
    :param ast2: second ast
    :return: True if the ast's must be equal
    """
    if state.se.satisfiable(extra_constraints=(ast1 != ast2,)):
        return False
    return True