Bug on BEGINELSE(IF)