Legacy code from REL2 as a starting point for the syntactic approximation module.