isTriviallyReMaterializable checks the