User's custom system specs always replace system specs even without `include=`

[danilych]

User's custom fresh_object_address_spec (with ghost variables) overrides the system spec even for specs in unrelated modules that never reference it.