4 basic operators and their decomposition rules implemented. Tree in prover is now created with the principles of decomposition.