Fix packages names, create type safe function in ConclusionFunction in FluentConclusionPredicateTest