Preconditions (unsplit yet). Corrected bug

Conditions are now grouped according to position to give
the correct mapping of expression -> condition
when one expression produces multiple VCs (see InductionTactic).
Better status string
Equality for positions
Fix transformation of FunctionInvocation
Bug fixes