Show let bindings with proper line breaks and indentation in prover