Removed old commands and fixed input dialog values.
Dependency on ProB replaced with libs.