Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures