Fixed final_nonnullable.t and implementation.t