Merge branch 'reduction-realization-predicates' into 'master'

Have reduction realization inherit predicates

See merge request !156