Engine interface, ScanEngine implementation, PropositionToCallback class