Adapting pattern match system to match a variable with an infix expr