working symbolic CoP FRI and new result visualiser