fixing action on a system
putting negation at the leafs of the formulae
minor fixes + union Sytstem