Only check keg-only if we map to a formula