minor fix
(Subhajit) Added an interface for InterpolatingTheoremProver