Tweaked ladder-free rules to work in the presence of reversibility; added buttons