Negation prover minor changes
Minor change of error string
Negation revision to paper rules
Bug in derivation