Logical_analysis loading ...