Increased complexity of typecheck1.pas