Fix module-level preconditions sharding
am: a77d7da67b

Change-Id: Iee44bd716bb5a05e3f5528400cbe286e2425ec09