Finish StackSpec
add assertions usage