Symbol: init_condition_met