int(0..) dereify_all()
Dereifies as many statements as possible. Returns the number of dereified statements.