Support ';' separated stmt list after 'then'