fallback to --flpcheck=explicit for dlv backend