ast test green
type system
mark all final and by getXxx()