remove debug output
fix bug to only use first line in search results ('Show Proof.' output matches the expression as well)