> path-condition

true

> run

Ok

> done

Ok