Commit before branch switch
The VCs should now be consistent when pattern matching is used on List[A].
Added gcs and isSubList (completed PrettyPrinter and TreeOps) needed to implement the FLS procedure