Overhaul of splitting answer into predicate variables solutions: implementation.