adding first test of a proof analysis