while wihtout cond
set simplification