Added yasnippets for predicate expectations

Also generates indicative predicate implementation, commented as aide memoire