squeeze_simp produces invalid result

[gebner]

import tactic.squeeze

def a := 0
def b := 0
def c := 0
def f : ℕ → ℕ := default

@[simp] lemma k (x) : f x = b := rfl
@[simp] lemma l : f b = c := rfl

-- "Try this" suggestion does not work
example : f (f a) = c := by squeeze_simp
-- `squeeze_simp?` doesn't make a difference either,
-- apart from also failing the goal

-- BTW, order matters:
example : f (f a) = c := by simp only [k,l] -- works
example : f (f a) = c := by simp only [l,k] -- fails

https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/squeeze_simp.20times.20out/near/201137121