Initial commit of propcompare