We do beans almost the same way , with the folllowing differences.
No butter - start the beans in about a tablesppon of olive oil; and once the onion and garlic start to soften toss in a tablesooiin or so of soy; cover briefly to take advantage of the steam from the soy boiling off.