added parsing of proof terms