Fixed a bug in the present statement move semantics. There is a bug in abort and par with while loops in both par branches -- fixit