[IMP] Manage context in sartre_validate to be compatible with smile_base