Remove superflous assert(false) and return statements.