first_order_match now only calls loose_bvar when inside an abstraction.
first_order_match now only calls loose_bvar when inside an abstraction.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle