An environment for the reengineering of Pascal programs