Extended spec for checking default values in Student spec.