Practical Model-Based Static Analysis for Definite Logic Programs