Merge: intrepreter: Fix the documentation of `Instance::is_true`