To check those students who are recorded as having an SEN provision of EHCP go to Reporting > Reports > Support tab > SEN.
Click choose to load the report and once this is loaded you can filter it to see only those students with an EHCP. To do this type E in the blank text box below the SEN provision code header and press enter on your keyboard.
If you need to record that a student is in receipt of top-up funding you can update this on the extended tab under support information heading.
As this is just a query if this is correct for your school when you upload the Census on Collect you can annotate the reason for this.