Eliminating Proofs of Non-interference from Levin-Gries CSP Program Proofs