clarified signature: prefer authentic cterm used in Simplifier, avoid potential re-certification in user-code;