Loop_variant loading ...