Remove superfluous analyses
Move common code into separate modules

Extract printable implementation, narrow/meet stubs and top/bot
functions into common modules to be included by the domains