Copy files from private 'propositional' package to make tests work.