put two spaces also in pic.thm and deleted a leftover line in bisim_cong