rewrite

FreeslickRewriteBooleans