show region bit representations in speceditor
modify to use TRUE, FALSE as environment and system propositions