Template Class PEqualChecker< PrimExpr >