Modify guard inference
TODO: treat _