HomeIsabelle/Phabricator

Added ubx optimization of store instructions