Changed the comment about compilation context to reflect future changes.
Modified sanity checks on context creation to reflect changes to be implemented.
Removed all ECASE clauses testing for SUCCESSORS being the empty list.