generalize lemma-lookupM-assoc