Introduced assert_ok!
Implemented Push