place list of conjectures implementation - failing tests
fixed bug in propagation
refactor: changed test setups to use foldLeft instead of sequence of direct calls