(VAR ) (RULES not-osb-Bool-csb (false )-> true not-osb-Bool-csb (true )-> false )