The EyeC Proofiler system