Predicate specifications in algorithm writer
- Made unnecessary and not needed for automated bug checking
- Instead, use complete specifications at the start of the algorithm, with customisations to algorithm added to the specification
- Recognise type of algorithm from the relationship of terms, philosophical type of terms and specification.