This might naturally be solved by analyzing LLBC (#3040).
This might naturally be solved by analyzing LLBC (#3040).