1Tests that we perform LSE with graphs with acquire loads
2(i.e. monitor enter and volatile load) and release stores
3(i.e. monitor exit and voaltile stores)
4