Simplified state model to prevent state explosion