I have deleted it as it was a piece of dead code. I will restore it after #101 merge.