Class LanguagePrecondition_impl