Merges verfified and everything is working now
Added the prototype pause generator