Rewrite prereqs (avoid the usage of assume-provided)