travis build script
disallow : in predicates
refactored
added partial Encoder