BlockML: finished simplifying unsafe modules.