Classify a predicate definition as init or trans