renaming and code cleanup

adding full unfolding tests

improving readability

comments

test utilities methods

#if Debug for console.writeline commands