Merge branch 'fix-arg-inference-for-predicates' into 'master'

Fix arg inference for predicates (closes #114).

Closes #114

See merge request !198