LstarUpl ( 4 ).